1841. Progress in mathematical programming:interior-point & related
پدیدآورنده : MEGIDDO,NIMROD
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : PROGRAMMING )MATHEMATICS(-CONGRESSES , LINEAR PROGRAMMING-CONGRESSES
رده :
QA
402
.
5
.
P785
1987
1842. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
1843. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
1844. Psedo-Boolean methods for bivalent Programming
پدیدآورنده : Ivanescu, Petru L
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
23
1845. Pseudo-Boolean Methods for Bivalent Programming
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
1846. Pseudo-Boolean methods for bivalent programing
پدیدآورنده : Ivanescu, Petru L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
Vol
.
23
1847. Pseudo-Boolean methods for bivalent programming
پدیدآورنده : Ivanescu, P. L.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
1
.
L4
v
.
23
1848. Pseudo-Boolean methods for bivalent programming
پدیدآورنده : Hammer, P. L.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
23
1849. Pseudo-Boolean methods for bivalent programming
پدیدآورنده : Hammer, P. L., 6391-6002
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
266
.
H24
1966
1850. Pseudo-Boolean programming and applications
پدیدآورنده : Hammer, Peter L.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
9
1851. Pseudo-Boolean programming and applications
پدیدآورنده : Ivanescu, Petru L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
Vol
.
9
1852. Pseudo-Boolean programming and applications.]Lectures[ presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964
پدیدآورنده : Hammer, P. L.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
9
1853. Pseudo-Boolean programming and applications : Presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964
پدیدآورنده : Ivanescu, Petru L.
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
402
.
5
.
I8
1965
1854. Pseudo-Boolean programming and applications, presented at the colloquium on mathematics and cybernetics in the economy, Berlin, October, 1964
پدیدآورنده : Ivanescu, Petru
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra, Boolean,، Operations research
رده :
QA
1
.
L4
v
.
9
1855. Python :--Programming for computations
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics. ;
1856. Python essential reference /
پدیدآورنده : David M. Beazley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Python (Computer program language),Befehlsvorrat,Befehlsvorrat.,Python,Python (Computer program language),Python 2.4,Python 2.4.
رده :
QA76
.
73
.
P98
B43
2009
1857. Python for Probability, Statistics, and Machine Learning /
پدیدآورنده : by José Unpingco.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Data mining.,Engineering mathematics.,Statistics.,Telecommunication.,Probabilities-- Data processing.,Python (Computer program language),Statistics-- Data processing.
رده :
QA76
.
73
.
P98
U57
2019
1858. Python for probability, statistics, and machine learning /
پدیدآورنده : Jos�e Unpingco.,Unpingco, Jos�e,
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Python (Computer program language),Probabilities,Statistics,Machine learning.,Data processing.,Data processing.
رده :
QA76
.
73
.
P98U4
2022
1859. Quadratic Programming with Computer Programs
پدیدآورنده : \ Michael J. Best
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Quadratic programming -- Computer programs,Quadratic programming
رده :
E-Book
,
1860. Quadratic programming: algorithms, anomalies ]and[ applications
پدیدآورنده : Boot, John C. G.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Mathematics(
رده :
QA
264
.
B6
